additive identity and additive inverse